Optimal. Leaf size=136 \[ \frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {b^3 \cos (a) \text {Ci}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {b^2 \sqrt [3]{c+d x} \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}-\frac {b^3 \sin (a) \text {Si}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.10, antiderivative size = 136, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 5, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.357, Rules used = {3442, 3378,
3384, 3380, 3383} \begin {gather*} \frac {b^3 \cos (a) \text {CosIntegral}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {b^3 \sin (a) \text {Si}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {b^2 \sqrt [3]{c+d x} \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}+\frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3378
Rule 3380
Rule 3383
Rule 3384
Rule 3442
Rubi steps
\begin {align*} \int \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right ) \, dx &=-\frac {3 \text {Subst}\left (\int \frac {\sin (a+b x)}{x^4} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{d}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}-\frac {b \text {Subst}\left (\int \frac {\cos (a+b x)}{x^3} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{d}\\ &=\frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}+\frac {b^2 \text {Subst}\left (\int \frac {\sin (a+b x)}{x^2} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{2 d}\\ &=\frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {b^2 \sqrt [3]{c+d x} \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}+\frac {b^3 \text {Subst}\left (\int \frac {\cos (a+b x)}{x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{2 d}\\ &=\frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {b^2 \sqrt [3]{c+d x} \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}+\frac {\left (b^3 \cos (a)\right ) \text {Subst}\left (\int \frac {\cos (b x)}{x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {\left (b^3 \sin (a)\right ) \text {Subst}\left (\int \frac {\sin (b x)}{x} \, dx,x,\frac {1}{\sqrt [3]{c+d x}}\right )}{2 d}\\ &=\frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {b^3 \cos (a) \text {Ci}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}-\frac {b^2 \sqrt [3]{c+d x} \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )}{d}-\frac {b^3 \sin (a) \text {Si}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 133, normalized size = 0.98 \begin {gather*} \frac {b (c+d x)^{2/3} \cos \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )+b^3 \cos (a) \text {Ci}\left (\frac {b}{\sqrt [3]{c+d x}}\right )+2 c \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )+2 d x \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )-b^2 \sqrt [3]{c+d x} \sin \left (a+\frac {b}{\sqrt [3]{c+d x}}\right )-b^3 \sin (a) \text {Si}\left (\frac {b}{\sqrt [3]{c+d x}}\right )}{2 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.02, size = 108, normalized size = 0.79
method | result | size |
derivativedivides | \(-\frac {3 b^{3} \left (-\frac {\sin \left (a +\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \left (d x +c \right )}{3 b^{3}}-\frac {\cos \left (a +\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \left (d x +c \right )^{\frac {2}{3}}}{6 b^{2}}+\frac {\sin \left (a +\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \left (d x +c \right )^{\frac {1}{3}}}{6 b}+\frac {\sinIntegral \left (\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \sin \left (a \right )}{6}-\frac {\cosineIntegral \left (\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \cos \left (a \right )}{6}\right )}{d}\) | \(108\) |
default | \(-\frac {3 b^{3} \left (-\frac {\sin \left (a +\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \left (d x +c \right )}{3 b^{3}}-\frac {\cos \left (a +\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \left (d x +c \right )^{\frac {2}{3}}}{6 b^{2}}+\frac {\sin \left (a +\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \left (d x +c \right )^{\frac {1}{3}}}{6 b}+\frac {\sinIntegral \left (\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \sin \left (a \right )}{6}-\frac {\cosineIntegral \left (\frac {b}{\left (d x +c \right )^{\frac {1}{3}}}\right ) \cos \left (a \right )}{6}\right )}{d}\) | \(108\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains complex when optimal does not.
time = 0.38, size = 138, normalized size = 1.01 \begin {gather*} \frac {{\left ({\left ({\rm Ei}\left (\frac {i \, b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) + {\rm Ei}\left (-\frac {i \, b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )\right )} \cos \left (a\right ) + {\left (i \, {\rm Ei}\left (\frac {i \, b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) - i \, {\rm Ei}\left (-\frac {i \, b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )\right )} \sin \left (a\right )\right )} b^{3} + 2 \, {\left (d x + c\right )}^{\frac {2}{3}} b \cos \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) - 2 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} b^{2} - 2 \, d x - 2 \, c\right )} \sin \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{4 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 139, normalized size = 1.02 \begin {gather*} \frac {b^{3} \cos \left (a\right ) \operatorname {Ci}\left (\frac {b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) + b^{3} \cos \left (a\right ) \operatorname {Ci}\left (-\frac {b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) - 2 \, b^{3} \sin \left (a\right ) \operatorname {Si}\left (\frac {b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) + 2 \, {\left (d x + c\right )}^{\frac {2}{3}} b \cos \left (\frac {a d x + a c + {\left (d x + c\right )}^{\frac {2}{3}} b}{d x + c}\right ) - 2 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} b^{2} - 2 \, d x - 2 \, c\right )} \sin \left (\frac {a d x + a c + {\left (d x + c\right )}^{\frac {2}{3}} b}{d x + c}\right )}{4 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sin {\left (a + \frac {b}{\sqrt [3]{c + d x}} \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 663 vs.
\(2 (114) = 228\).
time = 5.08, size = 663, normalized size = 4.88 \begin {gather*} \frac {a^{3} b^{4} \cos \left (a\right ) \operatorname {Ci}\left (-a + \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) + a^{3} b^{4} \sin \left (a\right ) \operatorname {Si}\left (a - \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) - \frac {3 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )} a^{2} b^{4} \cos \left (a\right ) \operatorname {Ci}\left (-a + \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {1}{3}}} - \frac {3 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )} a^{2} b^{4} \sin \left (a\right ) \operatorname {Si}\left (a - \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {1}{3}}} + \frac {3 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{2} a b^{4} \cos \left (a\right ) \operatorname {Ci}\left (-a + \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {2}{3}}} + \frac {3 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{2} a b^{4} \sin \left (a\right ) \operatorname {Si}\left (a - \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {2}{3}}} - \frac {{\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{3} b^{4} \cos \left (a\right ) \operatorname {Ci}\left (-a + \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{d x + c} - \frac {{\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{3} b^{4} \sin \left (a\right ) \operatorname {Si}\left (a - \frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{d x + c} + a^{2} b^{4} \sin \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) - \frac {2 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )} a b^{4} \sin \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {1}{3}}} + \frac {{\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{2} b^{4} \sin \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {2}{3}}} + a b^{4} \cos \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right ) - \frac {{\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )} b^{4} \cos \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{{\left (d x + c\right )}^{\frac {1}{3}}} - 2 \, b^{4} \sin \left (\frac {{\left (d x + c\right )}^{\frac {1}{3}} a + b}{{\left (d x + c\right )}^{\frac {1}{3}}}\right )}{2 \, {\left (a^{3} - \frac {3 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )} a^{2}}{{\left (d x + c\right )}^{\frac {1}{3}}} + \frac {3 \, {\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{2} a}{{\left (d x + c\right )}^{\frac {2}{3}}} - \frac {{\left ({\left (d x + c\right )}^{\frac {1}{3}} a + b\right )}^{3}}{d x + c}\right )} b d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \sin \left (a+\frac {b}{{\left (c+d\,x\right )}^{1/3}}\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________